Typing One-to-One and One-to-Many Correspondences in Security Protocols Andrew D. Gordon1 and Alan Jeffrey2 1 2

Source URL: ect.bell-labs.com

• Software engineering
• Programming language theory
• Computing
• C
• Struct
• ALGOL 68
• BurrowsAbadiNeedham logic
• OK
• -calculus

Curriculum Vitae BENJAMIN F. GOLDBERG Courant Institute of Mathematical Sciences Department of Computer Science New York University

Source URL: cs.nyu.edu

• Computing
• Computer science
• Software engineering
• Functional programming
• International Conference on Functional Programming
• Programming Language Design and Implementation
• SIGPLAN
• Compiler
• Symposium on Principles of Programming Languages
• Association for Computing Machinery
• ACM Transactions on Programming Languages and Systems
• Functional languages

Interfacing C/C++ and Python with SWIG David M. Beazley Department of Computer Science University of Utah Salt Lake City, Utah 84112

Source URL: swig.org

• Software engineering
• Computer programming
• Programming language theory
• Cross-platform software
• Object-oriented programming languages
• Scripting languages
• High-level programming languages
• Procedural programming languages
• SWIG
• Python
• Entry point
• D

Programming with Multiple Paradigms in Lua Roberto Ierusalimschy PUC-Rio, Rio de Janeiro, Brazil Abstract. Lua is a scripting language used in many industrial applications, with an emphasis on emb

Source URL: www.inf.puc-rio.br

FILIP PIZLO Resume • filpizlo.com • 1817 47th Ave • Capitola, CA 95010 • Summary. I’m a systems programmer specializing in compilers, programming language runtimes, memory management,

Source URL: www.filpizlo.com

• Computing
• Software
• Java
• Compilers
• Compiler construction
• Programming language implementation
• Cross-platform software
• Jikes RVM
• SIGPLAN
• LLVM
• Just-in-time compilation
• Real time Java

A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c

Source URL: ect.bell-labs.com

• Category theory
• Models of computation
• Adjoint functors
• Functional programming
• Logic in computer science
• Denotational semantics
• Lambda calculus
• Cartesian closed category
• Sheaf
• F-algebra
• Kleisli category
• Monad

R and S (Hadley Wickham, Rice University) Abstract R is a programming language and an environment for interactive data analysis. The first version of R was released in 1993, growing out of the S language developed at Bel

Source URL: vita.had.co.nz

PDF Document

Source URL: st.inf.tu-dresden.de

• Software
• Computing
• Unified Modeling Language
• Eclipse
• Object Constraint Language
• Integrated development environments
• ECO
• Object-oriented programming languages
• Domain-specific language
• Scala
• OCL
• Xtend

PDF Document

Source URL: kcsrk.info

• Computing
• Transaction processing
• Software
• Concurrent computing
• Data management
• Concurrency control
• Consistency model
• Distributed algorithms
• Programming language semantics
• Eventual consistency
• Consistency
• Conflict-free replicated data type